}
// get the first entry from the pool
session = (Session) this.idleSessions.removeFirst();
}
// check the session and the session's workspace
}
// get the first entry from the pool
session = this.idleSessions.removeFirst();
}
// check the session and the session's workspace